"Richard J. Boulton" скачать бесплатно. Электронная библиотека. Поиск книг LibCats

Самая большая электронная библиотека рунета. Поиск книг и журналов

#1

Learning And Teaching With Virtual Learning Environments (Practial Handbooks)

Helena Gillespie, Helen Boulton, Alison Hramiak, Richard Williamson

Категория: Образование

1.39 Mb

#2

Theorem Proving in Higher Order Logics, 14 conf., TPHOLs 2001

Richard J. Boulton, Paul B. Jackson

Категория: Cs_Computer science, CsLn_Lecture notes

2.54 Mb